Section: Partnerships and Cooperations

International Initiatives

Inria-MSR joint lab

Privacy-Friendly Services and Apps

• Title: Privacy-Friendly Services and Applications

• Inria principal investigator: Catuscia Palamidessi

• International Partners:

  • Cedric Fournet, Microsoft Research Lab, Cambridge, UK

  • Andy Gordon, Microsoft Research Lab, Cambridge, UK

• Duration: 2014 - 2016

• URL: http://www.msr-inria.fr/projects/privacy-friendly-services-and-apps/

• Abstract: This is a project sponsored by Microsoft Research Lab, on methods to preserve privacy in web services and location-based services.

Inria Associate Teams

PRINCESS

• Title: Protecting privacy while preserving data access

• Inria principal investigator: Catuscia Palamidessi

• International Partners:

  • Geoffrey Smith, Florida International University (United States)

  • Andre Scedrov, University of Pennsylvania (United States)

• Duration: 2013 - 2016

• URL: http://www.lix.polytechnique.fr/comete/Projects/Princess/

• Abstract: PRINCESS is an Inria associated team focusing on the protection of privacy and confidential information. In particular, we study the issues related to the leakage of confidential information through public observables.

  We aim at developing a meaningful notion of measure in order to quantify the leakage of information, and to design mechanisms to limit the amount of leakage, without interfering too severely with the utility of the information that is meant to be disclosed.

  The main topics currently investigated are quantitative information flow, where we are developing a decision-theoretic approach, and differential privacy, where we are developing an extension which lifts the basic notion of privacy meant for databases to arbitrary domains.

Inria International Partners

Informal International Partners

• Moreno Falaschi, Professor, University of Siena, Italy

• Mario Ferreira Alvim Junior, Assistant Professor, Federal University of Minas Gerais, Brazil

• Annabelle Mciver, Associate Professor, Macquarie University, Australia

• Charles Carroll Morgan, Professor, University of New South Wales, Australia

• Carlos Olarte, Adjunct professor at Universidade Federal do Rio Grande do Norte, Brazil

• Camilo Rueda, Professor, Universidad Javeriana Cali, Colombia

Participation In other International Programs

PACE

• Program: ANR Blanc International

• Project title: Beyond plain Processes: Analysis techniques, Coinduction and Expressiveness

• Duration: January 2013 - December 2016

• URL: http://perso.ens-lyon.fr/daniel.hirschkoff/pace/

• Coordinator: Daniel Hirschkoff, Ecole Normale Supérieure de Lyon

• Other PI's and partner institutions: Catuscia Palamidessi, Inria Saclay. Davide Sangiorgi, University of Bologna (Italy). Yuxi Fu, Shanghai Jiao Tong University (China).

• Abstract: This project objective is to enrich and adapt these methods, techniques, and tools to much broader forms of interactive models, well beyond the realm of "traditional" processes.

LOCALI

• Program: ANR Blanc International

• Project title: Logical Approach to Novel Computational Paradigms

• Duration: October 2011 - September 2015

• URL: http://lcs.ios.ac.cn/~locali2013/

• Coordinator: Gilles Dowek, Inria Rocquencourt

• Other PI's and partner institutions: Catuscia Palamidessi, Inria Saclay. Thomas Erhard, Paris VII. Ying Jiang , Chinese Academy of Science in Beijin (China).

• Abstract: This project aims at exploring the interplays between logic and sequential/distributed computation in formalisms like the lambda calculus and the $\pi$ calculus. Going back to the fundamentals of the definitions of these calculi, the project plans to design new programming languages and proof systems via a logical approach.

MUSICAL

• Program: CNPq Science Without Borders.

• Project title: Music and Spatial Interaction with Constraints, Algebra and Logic: Foundations and Applications.

• Duration: Oct 2014- Oct 2016

• URL: http://cic.puj.edu.co/~caolarte/musical/Musical/Welcome.html

• Coordinator: Elaine Pimentel, Universidade Federal do Rio Grande do Norte (Brazil),

• Other PI's and partner institutions: Camilo Rueda, PUJ Cali (Colombia). Carlos Olarte, Universidade Federal do Rio Grande do Norte (Brazil). Frank Valencia, CNRS-LIX and Inria Saclay (France). Gerard Assayag, IRCAM (France).

• Abstract: This multi-disciplinary project aims to develop and integrate tools from logic and concurrency theory for the design and analysis of reactive systems and to their application to musical processes and multimedia systems.